$\forall$$T$:(Id$\rightarrow$Type), ${\it tab}$:secret{-}table($T$). isl(next(${\it tab}$)) $\Rightarrow$ ptr(${\it tab}$) $\in$ $\mathbb{N}$$_{\mbox{\scriptsize $<\parallel$${\it tab}$$\parallel$ }}$